منابع مشابه
BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON
In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...
متن کاملfinite bci-groups are solvable
let $s$ be a subset of a finite group $g$. the bi-cayley graph ${rm bcay}(g,s)$ of $g$ with respect to $s$ is an undirected graph with vertex set $gtimes{1,2}$ and edge set ${{(x,1),(sx,2)}mid xin g, sin s}$. a bi-cayley graph ${rm bcay}(g,s)$ is called a bci-graph if for any bi-cayley graph ${rm bcay}(g,t)$, whenever ${rm bcay}(g,s)cong {rm bcay}(g,t)$ we have $t=gs^alpha$ for some $...
متن کاملFilteristic soft BCK-algebras
We study the soft sets applied on the structure of filters of BCK-algebras. A connection between soft BCK-algebras and filteristic soft BCK-algebras is given also. Finally, important operations such as intersection, union, “AND”, “OR”, and subset operations of soft filters and filteristic soft BCK-algebras are investigated.
متن کاملNegation and BCK-algebras
In this paper we consider twelve classical laws of negation and study their relations in the context of BCKalgebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of translation we obtain some characterizations of Hilbert algebras and commutative BCK-algebras with minimum. As a consequence we obtain a theorem rela...
متن کاملPseudo-BCK algebras as partial algebras
It is well-known that the representation of several classes of residuated lattices involves lattice-ordered groups. An often applicable method to determine the representing group (or groups) from a residuated lattice is based on partial algebras: the monoidal operation is restricted to those pairs which fulfil a certain extremality condition, and else left undefined. The subsequent construction...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the Korean Mathematical Society
سال: 2016
ISSN: 1225-1763
DOI: 10.4134/ckms.2016.31.2.261